%state STRING

%%

